Index

A B C D E F G H I K L M N O P R S T U V W Y Z
All Classes All Packages

T

Term - Class in edu.uky.ai.lp.logic

The superclass of all logical expression representing specific things in the universe.

Term(String) - Constructor for class edu.uky.ai.lp.logic.Term

Constructs a new term with a given name.

terms - Variable in class edu.uky.ai.lp.logic.Fact

The terms to which the predicate applies

TITLE - Static variable in class edu.uky.ai.lp.Settings

The title to be displayed on the game window

toString() - Method in class edu.uky.ai.lp.ai.Prover

toString() - Method in class edu.uky.ai.lp.logic.Conjunction

toString() - Method in class edu.uky.ai.lp.logic.Disjunction

toString() - Method in class edu.uky.ai.lp.logic.Fact

toString() - Method in class edu.uky.ai.lp.logic.KnowledgeBase

toString() - Method in class edu.uky.ai.lp.logic.Negation

toString() - Method in class edu.uky.ai.lp.logic.Rule

toString() - Method in class edu.uky.ai.lp.logic.Term

toString() - Method in class edu.uky.ai.lp.logic.Unifier

toString() - Method in class edu.uky.ai.lp.Result

toString(String) - Method in class edu.uky.ai.lp.logic.BooleanExpression

Given a separator character, this method returns a string representation of this expression with its argument separated.

A B C D E F G H I K L M N O P R S T U V W Y Z
All Classes All Packages